ma{-}interface{-}kinds($I$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$i$.($I$IdDeq($i$).2).1;$I$.1))